The B-B Decomposition via Sumihiro's Theorem
نویسندگان
چکیده
منابع مشابه
B -AND B - COMPLETENESS IN LOCALLY CONVEX ALGEBRAS AND THE E x THEOREM
Let E be a B-complete (B -complete) locally convex algebra and $ the topological direct sum of countably many copies of the scalar field with a jointly continuous algebra multiplication. It has been shown that E is also B-complete (B -complete) for componentwise multiplication on E . B-and Br-completeness of E , the unitization of E, and also of E x for other multiplications on E ...
متن کاملKorovkin Second Theorem via B-Statistical A-Summability
and Applied Analysis 3 f continuous on R. We know that C(R) is a Banach space with norm f ∞ := sup x∈R f (x) , f ∈ C (R) . (12) We denote by C 2π (R) the space of all 2π-periodic functions f ∈ C(R) which is a Banach space with f 2π = sup t∈R f (t) . (13) The classical Korovkin first and second theorems statewhatfollows [15, 16]: Theorem I. Let (T n ) be a sequence of p...
متن کاملFixed Point Results on $b$-Metric Space via Picard Sequences and $b$-Simulation Functions
In a recent paper, Khojasteh emph{et al.} [F. Khojasteh, S. Shukla, S. Radenovi'c, A new approach to the study of fixed point theorems via simulation functions, Filomat, 29 (2015), 1189-–1194] presented a new class of simulation functions, say $mathcal{Z}$-contractions, with unifying power over known contractive conditions in the literature. Following this line of research, we extend and ...
متن کاملDecomposition tool for event-B
Two methods have been identified for Event-B model decomposition: shared variable and shared event. The purpose of this paper is to introduce the two approaches and the respective tool support in the Rodin platform. Besides alleviating the complexity for large systems and respective proofs, decomposition allows team development in parallel over the same model which is very attractive in the ind...
متن کاملDecomposition Structures for Event-B
Event-B provides a flexible approach to modelling and refinement of systems. In this paper we outline two important ways in which Event-B refinement can be augmented with additional structuring to support further the management of complex refinements. Firstly we show how event refinement diagrams can be used to structure refinement steps involving decomposition of atomicity. Secondly we outline...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Algebra
سال: 1996
ISSN: 0021-8693
DOI: 10.1006/jabr.1996.0160